home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.arizona.edu / ftp.cs.arizona.edu.tar / ftp.cs.arizona.edu / tsql / doc / tsql.mail / 000140_montana@udmi5400.cineca.it _Mon May 31 09:50:09 1993.msg < prev    next >
Internet Message Format  |  1996-01-31  |  11KB
  1. Received: from udmi5400.cineca.it by optima.CS.Arizona.EDU (5.65c/15) via SMTP
  2.     id AA10785; Mon, 31 May 1993 01:06:25 MST
  3. Received: by udmi5400.cineca.it (5.57/Ultrix3.0-C)
  4.     id AA02197; Mon, 31 May 93 09:50:09 +0100
  5. Date: Mon, 31 May 93 09:50:09 +0100
  6. From: montana@udmi5400.cineca.it (Angelo Montanari)
  7. Message-Id: <9305310850.AA02197@udmi5400.cineca.it>
  8. To: tsql@cs.arizona.edu
  9. Subject: new glossary entries
  10. Cc: montana@udmi5400.cineca.it
  11.  
  12. \documentstyle[11pt]{article}
  13. \newcommand{\entry}[1]{\subsubsection*{#1}}
  14. \begin{document}
  15.                   
  16. \section*{New glossary entries}
  17.  
  18. To the TSQL group,
  19.  
  20. \noindent
  21. please find enclosed some new glossary entries. We would like to acknowledge
  22. the contributions of Curtis Dyereson to their clarification and refinement
  23. by several e-mail discussions. Part of them are revised versions of entries
  24. we proposed in previous messages, namely, temporal qualification,
  25. chronologically definite, chronologically indefinite, absolute time, relative
  26. time. We hope that we can definitively agree about them. Part of them modify or
  27. integrate existing glossary entries, namely instant, event, event occurrence
  28. time, interval, interval relation, interval relation holding time, macro-event.
  29. We believe that they require a general discussion.
  30.  
  31. \subsection{Instant}
  32.  
  33. \entry{Definition}
  34.  
  35. An instant is a point on the time axis. It belongs to a single chronon {\sl t}.
  36. Many instants could belong to the same chronon. All the instants that belong
  37. to a chronon are represented by that chronon. 
  38.  
  39. \entry{Alternative Names}
  40.  
  41. Event, moment.
  42.  
  43. \entry{Discussion}
  44.  
  45. ``Event'' is often given a different meaning (-E5), while ``moment'' my be
  46. confused with the distinct term ``chronon'' (-E7).
  47.  
  48. \subsection{Event}
  49.  
  50. \entry{Definition}
  51.  
  52. An event is an instantaneous fact, i.e. something occurring at an instant.
  53. An event is said to occur at a chronon {\sl t} if it occurs at any instant 
  54. during {\sl t}.
  55.  
  56. \entry{Alternative Names}
  57.  
  58. Event relation, instant relation.
  59.  
  60. \entry{Discussion}
  61.  
  62. ``Event relation'' is not consistent with the distinction between ``instant'' 
  63. and ``event'' (-E7). ``Instant relation'' is longer than event (-E2).
  64.  
  65. \subsection{Event occurrence time}
  66.  
  67. \entry{Definition}
  68.  
  69. The event occurrence time is the instant at which the event occurs 
  70. in the real-world. The valid time associated with the event is the chronon {\sl
  71. t} to which the event occurrence time belongs.
  72.  
  73. \entry{Alternative Names}
  74.  
  75. Event time.
  76.  
  77. \entry{Discussion}
  78.  
  79. Event occurrence time is more precise than event time (+E9). Nevertheless, when
  80. the context is clear, the event occurrence time may be shorthened to the event
  81. time.
  82.  
  83. \subsection{Interval}
  84.  
  85. \entry{Definition}
  86.  
  87. An interval is the time between two instants. It may be represented by a set of
  88. contiguous chronons.
  89.  
  90. \entry{Alternative Names}
  91.  
  92. Time period.
  93.  
  94. \entry{Discussion}
  95.  
  96. The name ``interval'' is widely accepted (+E3). The name ``period'' often
  97. implies a cyclic or recurrent phenomenon (-E8,-E9). In addition, ``time
  98. period'' is longer (-E2).
  99.  
  100. \subsection{Interval relation}
  101.  
  102. \entry{Definition}
  103.  
  104. An interval relation is a (non-wholistic) fact with duration. An interval
  105. relation is said to hold over an interval {\sl I} if it holds at all time
  106. instants belonging to the set of contiguous chronons representing {\sl I}.
  107.  
  108. \entry{Alternative Names}
  109.  
  110. \entry{Discussion}
  111.  
  112. \subsection{Interval relation holding time}
  113.  
  114. \entry{Definition}
  115.  
  116. The interval relation holding time is the set of contiguous instants 
  117. over which the interval relation holds in the real-world.
  118. The valid time interval associated with the interval relation is the pair
  119. consisting of the starting and the ending chronons.
  120.  
  121. \entry{Alternative Names}
  122.  
  123. Interval relation time.
  124.  
  125. \entry{Discussion}
  126.  
  127. Interval relation holding time is more precise than interval relation time 
  128. (+E9). Nevertheless, when the context is clear, the interval relation holding
  129. time may be shorthened to the interval relation time.
  130.  
  131. \subsection{Macro-Event}
  132.  
  133. \entry{Definition}
  134.  
  135. A macro-event is a wholistic fact with duration, i.e. something occurring
  136. over an interval taken as a whole. A macro-event is said to occur over an
  137. interval {\sl I} if it occurs over the set of contiguous chronons representing
  138. {\sl I} (considered as a whole).
  139.  
  140. \entry{Alternative Names}
  141.  
  142. Process.
  143.  
  144. \entry{Discussion}
  145.  
  146. ``Process'' is an over-loaded term, that is, a term having quite different
  147. meanings in different contexts (-E9).
  148.  
  149. Examples of macro-events are baking a cake, having a dinner party, flying from
  150. Rome to Paris.
  151.  
  152. It is worth remarking the distinction between macro-events and interval
  153. relations. Saying that a macro-event relates to the structure of an interval as
  154. whole means that if it consumes a certain interval it cannot possibly transpire
  155. during any subinterval thereof.
  156.  
  157. \subsection{Temporal Qualification}
  158.  
  159. \entry{Definition}
  160.  
  161. The temporal qualification of a statement is  the component of the statement
  162. that specifies the temporal localization  of the denoted fact, namely, an
  163. associated instant, span, or interval. 
  164.  
  165. \entry{Alternative Names}
  166.  
  167. Time specification.
  168.  
  169. \entry{Discussion}
  170.  
  171. We assume one temporal qualification per statement. Moreover, we assume that
  172. implicit temporal  qualifications  (e.g. tense qualifications) are  always made
  173. explicit. As an  example, we assume  that the statement  ``They went to 
  174. Arlington'' is  rewritten as ``Sometimes in the past is true  that they {\em go}
  175. to Arlington''. Finally, if the temporal qualification is absent or missing
  176. the default qualification is the current time ``now''. 
  177.  
  178. We distinguish between two different types of temporal qualifications, namely,
  179. chronologically definite and indefinite temporal qualifications. 
  180.  
  181. \subsection{Chronologically definite temporal qualification}
  182.  
  183. \entry{Definition}
  184.  
  185. Chronologically definite temporal qualifications are specifications
  186. of absolute temporal positions.
  187.  
  188. \entry{Alternative Names}
  189.  
  190. \entry{Discussion}
  191.  
  192. Examples are: June 15, 1993 (dates), 397 years after the discovering of America.
  193. The notion of chronologically definite temporal qualification is different from
  194. the notion of absolute time. Consider the case of temporal qualifications
  195. relating the occurrence time of an event to the occurrence time of another event
  196. rather than to the current (implicit) time {\em now}. Even if they can be
  197. considered relative times, they are chronologically definite. They specify  an
  198. absolute temporal position which may possibly be unknown  (it depends on common
  199. sense as well as context knowledge). Examples of statements including these
  200. kinds of chronologically definite temporal qualifications are: ``the French
  201. revolution  occurred 397  years after  the discovering of America'', ``Mary's 
  202. salary was raised  before Lucy's''.  
  203.  
  204. \subsection{Chronologically indefinite temporal qualification}
  205.  
  206. \entry{Definition}
  207.  
  208. Chronologically indefinite temporal qualifications are specifications
  209. of temporal positions in terms of displacements with respect 
  210. to the current time ({\em now}) which is left implicit.
  211.  
  212. \entry{Alternative Names}
  213.  
  214. \entry{Discussion}
  215.  
  216. The notion of chronologically indefinite temporal qualification is different
  217. from the notion of relative time as shown in the related discussion about
  218. chronologically definite temporal qualifications. Examples are: tomorrow,
  219. three days ago, next month. 
  220.  
  221. \subsection{Chronologically Definite}
  222.  
  223. \entry{Definition}
  224.  
  225. Chronologically definite statements are statements whose truth 
  226. value does not vary, because it does not depend on the time at 
  227. which they are evaluated. Chronologically definite statements
  228. are characterized by chronologically stable temporal qualifications.
  229.  
  230. \entry{Alternative Names}
  231.  
  232.  
  233. \entry{Discussion}
  234.  
  235. Examples are: ``Jack was killed on xx/xx/1990'', it happened sometime in 1999'',
  236. ``the Jurassic is sometime after the Triassic'', ``the French revolution 
  237. occurred 397 years after the discovering of America''.
  238.  
  239. In particular, consider the statement ``the French revolution 
  240. occurred 397 years after the discovering of America'', where 
  241. the occurrence time of ``the French revolution'' is given with 
  242. respect to the occurrence time of ``the discovering of America''  
  243. by means of the temporal qualifier ``397 years after'' (relative 
  244. time). This statement is chronologically definite, because its 
  245. truth value does not depend on the time at which it is evaluated. 
  246.  
  247.  
  248. \subsection{Chronologically Indefinite}
  249.  
  250. \entry{Definition}
  251.  
  252. Chronologically indefinite statements are statements whose truth 
  253. value may vary, because it depends on the time at which they are 
  254. evaluated. Chronologically indefinite statements are characterized
  255. by chronologically unstable temporal qualifications or are devoid
  256. of any temporal qualification (a statement with no temporal 
  257. qualification is equivalent to a statement characterized by a zero
  258. displacement with the respect to the implicit current time).
  259.  
  260. \entry{Alternative Names}
  261.  
  262.  
  263. \entry{Discussion}
  264.  
  265. Examples are: ``Mary's salary was raised yesterday'', ``it happened sometime
  266. last week'', ``it happened on Easter'', ``it happened within 3 days of 
  267. Easter''.
  268.  
  269. \subsection{Absolute time}
  270.  
  271. \entry{Definition}
  272.  
  273. Modifier indicating that a specific valid time at a given time-stamp granularity
  274. is associated with a fact. Such a time depends neither on the valid time of
  275. another fact nor on the current time now.
  276.  
  277. \entry{Alternative Names}
  278.  
  279.  
  280. \entry{Discussion}
  281.  
  282. Examples are: ``Mary's salary was raised on March 30, 1993'', ``Jack was killed
  283. on xx/xx/1990''.
  284.  
  285. Notice that absolute times are associated with chronologically definite 
  286. statements only.
  287.  
  288.  
  289. \subsection{Relative time}
  290.  
  291. \entry{Definition}
  292.  
  293. Modifier indicating that the valid time of a fact is related to either the valid 
  294. time of another fact or the current time now.
  295.  
  296. \entry{Alternative Names}
  297.  
  298.  
  299. \entry{Discussion}
  300.  
  301. The relationship between times can be qualitative (before, after, etc.) as well
  302. as quantitative (3 days before, 397 years after, etc.).
  303.  
  304. Examples are: ``Mary's salary was raised yesterday'', ``it happened sometime
  305. last week'', ``it happened within 3 days of Easter'', ``the Jurassic is sometime
  306. after the Triassic'', ``the French revolution  occurred 397 years after the
  307. discovering of America''.
  308.  
  309. Notice that both chronologically indefinite and definite statements can involve
  310. relative times.
  311.  
  312. \vskip0.5cm
  313.  
  314. \noindent
  315. Comments are welcome
  316.  
  317. \vskip0.5cm
  318. \noindent
  319. Angelo Montanari, Elisa Peressi, Barbara Pernici
  320.  
  321. \begin{verbatim}
  322. Dipartimento di Matematica e Informatica
  323. Via Zanon, 6
  324. 33100 Udine (Italy)
  325. ph. +39 432 272 218/206
  326. fax +39 432 510755
  327. montanari@uduniv.cineca.it / montana@udmi5400.cineca.it
  328. pernici@uduniv.cineca.it   / pernici@ipmel2.polimi.it
  329. peressi@udmi5400.cineca.it
  330. \end{verbatim}
  331.  
  332. \end{document}
  333.  
  334.